/**
 * @file tasks.h
 * @author dousha
 * @version 0.1
 * @date 2020-06-20 
 */

#ifndef TASKS_H
#define TASKS_H

#include "../kernel/task/task.h"

extern void user_task_setup();

extern void user_task_teardown();

#endif
